101. Applied parallel computing : new paradigms for HPC in industry and academia : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings
پدیدآورنده : Tor Sorevik...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، High performance computing
رده :
QA
76
.
L28
Vol
.
1947
102. Array grammars, patterns and recognizers
پدیدآورنده : editor P.S.P. Wang
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics , Pattern recognition systems , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
M35
A77
1989
103. Artificial neural networks : architectures and applications
پدیدآورنده : edited by Kenji Suzuki
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Neural networks )Computer science(,، Parallel processing )Electronic computers(,، Computer architecture
رده :
QA
76
.
87
.
A78
104. Associative processing and processors
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Associative storage,، Parallel processing )Electronic computers(,، Microprocessors,، Computer architecture
رده :
TK
7895
.
M4
.
A78
1997
105. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
پدیدآورنده : Didier Galmiche )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1227
106. Automatic parallelization :
پدیدآورنده : Christoph W. Kessler, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
107. Bioinformatics
پدیدآورنده : / edited by Bertil Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Bioinformatics--Data processing,Parallel processing (Electronic computers)
رده :
QH324
.
2
.
B5487
2011
108. Bioinformatics :high performance parallel computer architectures
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Data processing ، Bioinformatics,، Parallel processing )Electronic computers(
رده :
QH
324
.
2
.
B5487
2011
109. C++ concurrency in action /
پدیدآورنده : Anthony Williams.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C++ (Computer program language),Parallel processing (Electronic computers),Simultaneous multithreading processors.,C++ (Computer program language),Parallel processing (Electronic computers),Simultaneous multithreading processors.
رده :
QA76
.
73
.
C153
W5513
2019
110. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
111. CONCUR '95 :
پدیدآورنده : Insup Lee, Scott A. Smolka, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
112. CONCUR 2002 – Concurrency Theory
پدیدآورنده : \ [Edited by] Luboš Brim ... [et al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,پردازش موازی -- کنگره ها
رده :
E-Book
,
113. CONCUR'98 : Concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
پدیدآورنده : Davide Sangiorgi, Robert de Simone )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1466
114. CONCUR'96 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
پدیدآورنده : Ugo Montanari, Vladimirio Sassone )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1119
115. CONCUR'97 : Concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings
پدیدآورنده : Antoni Mazurkiewicz, Jozef Winkowski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1243
116. CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(--Congresses
رده :
QA
76
.
58
.
I53
1992
117. CONCUR'92 : Third International Conference on Concurrency Theory , 1992: proceedings
پدیدآورنده : W.R. Cleaveland, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
630
118. CONCUR 2009--concurrency theory
پدیدآورنده : Mario Bravetti, Gianluigi Zavattaro (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I53
2009eb
119. CONCUR 2012 - concurrency theory
پدیدآورنده : Maciej Koutny, Irek Ulidowski (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer multitasking, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I58
2012eb
120. CONCUR 2002-concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings
پدیدآورنده : Lubos Brim...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2421